package edu.pku.sei.transformation.editor.views.figures;


public class CheckPointFigure extends  TagedElementFigure{
	public CheckPointFigure() {
		super();
		tagLabel.setText("<<CheckPoint>>");
	}
}
